TRUCHET, CHARLOTTE: шукати на сайті Z-Library

Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів

Найбільша колекція наукових статей у сіті. 70,000,000+ безкоштовних статей.

Пожертвування 15 вересня 2024 – 1 жовтня 2024

Z-Library - одна з найбільших онлайн-бібліотек у світі, в якій зберігається більше 17,000,000 книг та 84,837,000 статей. Ми намагаємось зробити літературу доступною кожному. Сьогодні (15 вересня 2024) ми відкриваємо додатковий збір пожертвувань на підтримку та розвиток проекту.

Також БЕЗЛІМТНІ завантаження (протягом 31 дня після завершення пожертвування) доступні для ВСІХ користувачів, які підтримають проект в період збору коштів до 1 жовтня 2024.

Про збір коштів Детальніше

Підтримати

Книги
Статті (15)
Найпопулярніші
Перелік
- Перелік
- Таблиця

1

Optimizing the Heck-Matsuda Reaction in Flow with a Constraint-Adapted Direct Search Algorithm

Cortés-Borda, Daniel, Kutonova, Ksenia V, Jamet, Corentin, Trusova, Marina E, Zammattio, Françoise, Truchet, Charlotte, Rodriguez-Zubiri, Mireia, Felpin, Francois-Xavier

Журнал:

Organic Process Research & Development

Рік:

2016

Мова:

english

Файл:

PDF, 1.03 MB

english, 2016

2

Computation of words satisfying the “rhythmic oddity property” (after Simha Arom's works)

Marc Chemillier, Charlotte Truchet

Журнал:

Information Processing Letters

Рік:

2003

Мова:

english

Файл:

PDF, 125 KB

english, 2003

3

The octagon abstract domain for continuous constraints

Pelleau, Marie, Truchet, Charlotte, Benhamou, Frédéric

Журнал:

Рік:

2014

Мова:

english

Файл:

PDF, 1.57 MB

english, 2014

4

[IEEE 2013 42nd International Conference on Parallel Processing (ICPP) - Lyon, France (2013.10.1-2013.10.4)] 2013 42nd International Conference on Parallel Processing - Prediction of Parallel Speed-Ups for Las Vegas Algorithms

Truchet, Charlotte, Richoux, Florian, Codognet, Philippe

Рік:

2013

Мова:

english

Файл:

PDF, 896 KB

english, 2013

5

[IEEE 2015 IEEE 27th International Conference on Tools with Artificial Intelligence (ICTAI) - Vietri sul Mare, Italy (2015.11.9-2015.11.11)] 2015 IEEE 27th International Conference on Tools with Artificial Intelligence (ICTAI) - Verifying a Real-Time Language with Constraints

Bart, Anicet, Truchet, Charlotte, Monfroy, Eric

Рік:

2015

Мова:

english

Файл:

PDF, 239 KB

english, 2015

6

Using sequential runtime distributions for the parallel speedup prediction of SAT local search

ARBELAEZ, ALEJANDRO, TRUCHET, CHARLOTTE, CODOGNET, PHILIPPE

Журнал:

Theory and Practice of Logic Programming

Рік:

2013

Мова:

english

Файл:

PDF, 288 KB

english, 2013

7

Estimating parallel runtimes for randomized algorithms in constraint solving

Truchet, Charlotte, Arbelaez, Alejandro, Richoux, Florian, Codognet, Philippe

Журнал:

Journal of Heuristics

Рік:

2016

Мова:

english

Файл:

PDF, 1.22 MB

english, 2016

8

[IEEE 2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI) - San Jose, CA, USA (2016.11.6-2016.11.8)] 2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI) - Learning Sequential and Parallel Runtime Distributions for Randomized Algorithms

Arbelaez, Alejandro, Truchet, Charlotte, O'Sullivan, Barry

Рік:

2016

Мова:

english

Файл:

PDF, 325 KB

english, 2016

9

A global constraint for over-approximation of real-time streams

Anicet Bart,Charlotte Truchet,Eric Monfroy

Журнал:

Рік:

2017

Мова:

english

Файл:

PDF, 1.60 MB

english, 2017

10

Reachability in parametric interval Markov chains using constraints

Bart, Anicet, Delahaye, Benoît, Fournier, Paulin, Lime, Didier, Monfroy, Éric, Truchet, Charlotte

Журнал:

Theoretical Computer Science

Рік:

2018

Мова:

english

Файл:

PDF, 909 KB

english, 2018

11

An Autonomous Self-Optimizing Flow Reactor for the Synthesis of Natural Product Carpanone

Cortés-Borda, Daniel, Wimmer, Eric, Gouilleux, Boris, Barré, Elvina, Oger, Nicolas, Goulamaly, Lubna, Peault, Louis, Charrier, Benoît, Truchet, Charlotte, Giraudeau, Patrick, Rodriguez-Zubiri, Mireia,

Журнал:

Journal of Organic Chemistry

Рік:

2018

Мова:

english

Файл:

PDF, 2.75 MB

english, 2018

12

An Autonomous Self-Optimizing Flow Machine for the Synthesis of Pyridine-Oxazoline (PyOX) ligands

Wimmer, Eric, Cortés-Borda, Daniel, Brochard, Solène, Barré, Elvina, Truchet, Charlotte, Felpin, François-Xavier

Журнал:

React. Chem. Eng.

Рік:

2019

Файл:

PDF, 3.09 MB

2019

13

An Autonomous Self-Optimizing Flow Machine for the Synthesis of Pyridine-Oxazoline (PyOX) ligands

Wimmer, Eric, Cortés-Borda, Daniel, Brochard, Solène, Barré, Elvina, Truchet, Charlotte, Felpin, François-Xavier

Журнал:

React. Chem. Eng.

Рік:

2019

Мова:

english

Файл:

PDF, 3.09 MB

english, 2019

14

[IEEE 2019 IEEE 31st International Conference on Tools with Artificial Intelligence (ICTAI) - Portland, OR, USA (2019.11.4-2019.11.6)] 2019 IEEE 31st International Conference on Tools with Artificial Intelligence (ICTAI) - Combining Constraint Languages via Abstract Interpretation

Talbot, Pierre, Cachera, David, Monfroy, Eric, Truchet, Charlotte

Рік:

2019

Мова:

english

Файл:

PDF, 1.87 MB

english, 2019

15

Modular Constraint Solver Cooperation via Abstract Interpretation

TALBOT, PIERRE, MONFROY, ÃRIC, TRUCHET, CHARLOTTE

Журнал:

Theory and Practice of Logic Programming

Рік:

2020

Файл:

PDF, 654 KB

2020